disjunctive normal form examples